dans le grade d'ingénieur général des mines